logic相关论文
Probe into the Logic and Rhetoric of Propriety in The Book of Songs: Taking “Guan Ju” as the Core Ex
The Book of Songs is a book of propriety passing on rites and teaching people by the form of poetry with unique logic an......
Both Booker T.Washington and W.E.B.Du Bois are the prominent thinkers who provide inspirations for African Americans on ......
欧拉图解在逻辑学教学中运用十分广泛,其目的是使抽象晦涩的逻辑推理变得更具体、更清晰、更形象,以易于学生理解和掌握.欧拉图解......
Exploring materials with multiple properties who can endow a simple device with integrated function-alities has attracte......
High blood glucose level is the most prominent characteristic of Type 2 diabetes mellitus(T2DM),in which body cells have......
Let L be a lattice of all experimentally verifiable propositions concerning a physical system S.Let B(L) be a category o......
Bill Gates doesn’t pretend he lives in an egalitarian household. When it comes to parenting his three children, the bil......
This article proposes a method of management and control of a continuous bus powered by renewable energies for autonomou......
Security practices such as Audits that often focus on penetration testing are performed to find flaws in some types of v......
<span style=“font-family:Verdana;”>Existing prioritization techniques do not support communication among stakeholders ......
On Thunderstorm Microphysics under Urban Heat Island, Sea Breeze, and Cold Front Effects in the Metr
This work discusses issues related to the impact of urbanization on the microphysical processes of precipitating systems......
This research presents a methodology,to calculate the amount of physical activity during the transportation.It contains ......
Fuzzy Logic Controller-based Synchronverter in Grid-connected Solar Power System with Adaptive Dampi
In recent years,renewable energy sources,specifically solar power systems,have developed rapidly owing to their technolo......
Main observation and conclusion DNA circuits have been designed for implementation of various functions based on DNA str......
Gained switching-based fuzzy sliding mode control for a discrete-time underactuated robotic system w
This study proposes a gained switching-based discrete-time sliding mode control method to address the chattering issue i......
Aquifers can be defined as complex ecological systems. Their description is closely influenced by geometrical and geolog......
Over the last few years,the need of a cloud environment with the ability to detect illegal behaviours along with a secur......
In the field of industrial process control,a fast-development platform for programmable logic controller(PLC)systems is ......
PAVELKA in ref. [1] established a propositional logic system whose truth values domain is an enriched residuated lattice......
Nowadays,it is a truism that chemists,bioengineers and others must be schooled in cell and molecular biology,including k......
Brewka 为缺省逻辑的框架被扩大以便当由盒子推理时，这个新框架具有更强大的善於表达。在这个扩大框架下面，一个缺省理论的延期的描......
Using Boolean operations and concatenation product w.r.t special trees,quantifier hierarchies are given by way of altern......
The technique of forcing created by Cohen is adopted to discuss the semantics of medium logic program without closed-wor......
A modal nonmonotonic logic is presented based on an experiential modal semantics on typicality and exception.The syntact......
操作员的量的模型模糊逻辑被讨论。有一个唯一的真实多项式函数，能被用来在操作符的一个量的模型描绘在模糊操作符之间的作文操作，这......
In common sense reasoning with incomplete knowledge bases, conclusions are made by defaultHowever, it is observed that w......
By translating each disjunctive logic program into an abductive framework, a declarative semantics for the class of disj......
Action is one of the most important concepts in computer science, and situation calculus is the standard formalism for r......
In the light of a question of J. L. Krivine about the consistency of an extensional λ-theory,an extensional combinatory......
The Optical Implementation of High Efficiency Packed Redundant Binary Number Addition Based on Boole
Ｔｈｅ Ｏｐｔｉｃａｌ Ｉｍｐｌｅｍｅｎｔａｔｉｏｎ ｏｆ Ｈｉｇｈ Ｅｆｆｉｃｉｅｎｃｙ Ｐａｃｋｅｄ Ｒｅｄｕｎｄａｎｔ Ｂｉｎａｒｙ Ｎｕｍｂｅｒ Ａｄｄｉｔｉｏｎ Ｂａｓｅｄ ｏｎ Ｂｏｏｌｅａｎ Ｐｏｌａｒｉｚａｔｉｏｎ－ｅｎｃｏｄｅｄ Ｌ...
The Optical Implementation of High Efficiency Packed Redundant Binary Number Addition......
这是一台功能很简单、操控很方便的AV放大器,它没有太复杂的音乐音场模式功能,也没有最近流行的热门DOLBY DIGITAL或DTS解码,它是......
制作/发行:Westwood Studios/Virgin游戏类型:3D 实时冒险媒体:CDROMx4标准配置:奔腾90116MB上市日期:1998年7月15日《银翼杀手》......
世界第三大foundry——新加坡特许半导体制造公司(Chartered SemiconductorManufacturing)于2003年3月28日在北京召开了“特许半......
The single fault and multiple fault detections for multiple-valued logic circuits are studied in this paper. Firstly, i......
Programmable Logic Array (PLA) is an important building circuit of VLSI chips and some of the FPGA architectures have ev......
CS4412是美国 CIRRUS LOGIC 公司最近推出的功放电路,是一款由四个半桥电路所组成的 D 类30W 数字功率放大集成电路,能够与 CS454......
The circuit testable realization and its fault detection for logic functions with ESOP (EXOR-Sum-Of-Products) expression......
在日益竞争激烈的中国豪华车市场上,如何才能脱颖而出,克敌制胜?靠超强的动力表现、豪华的内饰配置,抑或是卓越的舒适科技等等?当......
The Book of Songs is a book of propriety passing on rites and teaching people by the form of poetry with unique logic an......
Fuzzy Logic Based Perceptual Image Hashing Algorithm in Malaysian Banknotes Detection System for the
Visually impaired persons have difficulty in business that dealing with banknote.This paper proposed a Malaysian banknot......
MK—600是我国引进较先进的 B 超仪器,它具有故障自诊断功能,今将修复的键盘电源故障提供参考。故障现象:开机后,监视器上显示+5V......
Based on a new ternary logic(triad logic), triad philosophy and triad science are introduced. In triad philosophy, tria......
期刊
由《小演奏家》杂志主办,美国CIRRUS LOGIC公司和厦新电子协办的“小演奏家”假日系列音乐会6月1日晚推出“六一”专场音乐会。这......
Array生物制药公司的MEK抑制剂比尼替尼(binimetinib)和BRAF抑制剂恩可非尼(encorafenib)治疗黑色素瘤的临床资料已在欧洲医学肿瘤......
董赫男,一名未满26岁的音乐人,在其不到3年的职业制作人生 涯中,便以成功制作了孙悦、林依伦、罗中旭、苏有朋等众多大陆 及港台歌......
Logic components are used to support the conceptual design Taking the stamping die structure as the research object,se......
美国CIRRUS LOGIC公司及其子公司CRYSTAL半导体公司是世界著名的集成电路设计、制造厂商.北大高智电子开发中心和CIRRUS LOGIC公......
据中国电子报1993年3月12日丁燕申、季献忠报道,可以在PC机上进行ASIC设计的VIEW-LOGIC设计系统3月1日正式进入国内市场。该设计......
